SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\KBH"];
<< KBH.m

n=$SeriesShowDegree=$SeriesCompareDegree = 4;

Rp[a,a]

{Rp[a,b]Rp[d,c]Rp[f,e],
Rp[c,b]Rp[a,d]Rp[f,e]
} // ColumnForm

{Rp[a,b]Rp[d,c]Rp[f,e] // dm[a,d,a] // dm[b,e,b] // dm[c,f,c],
Rp[c,b]Rp[a,d]Rp[f,e] // dm[a,f,a] // dm[b,e,b] // dm[c,d,c]
} // ColumnForm

{Rp[a,b]Rp[d,c]Rp[f,e] // hta[d,a] // tm[a,d,a] // hm[a,d,a] // dm[b,e,b] // dm[c,f,c],
Rp[c,b]Rp[a,d]Rp[f,e] // hta[f,a] // tm[a,f,a] // hm[a,f,a] // dm[b,e,b] // dm[c,d,c]
} // ColumnForm

{ComposeList[{dm[a,d,a], dm[b,e,b], dm[c,f,c]}, Rp[a,b]Rp[d,c]Rp[f,e]],
ComposeList[{dm[a,f,a],dm[b,e,b],dm[c,d,c]}, Rp[c,b]Rp[a,d]Rp[f,e]]
} // Transpose // MatrixForm

ComposeList[{hta[d,a],tm[a,d,a],hm[a,d,a], hta[e,b], tm[b,e,b], hm[b,e,b], hta[f,c], tm[c,f,c], hm[c,f,c]}, Rp[a,b]Rp[d,c]Rp[f,e]] // ColumnForm

ComposeList[{hta[f,a], tm[a,f,a], hm[a,f,a],hta[e,b],tm[b,e,b], hm[b,e,b],hta[d,c], tm[c,d,c], hm[c,d,c]}, Rp[c,b]Rp[a,d]Rp[f,e]] // ColumnForm

ComposeList[{tm[a,d,a],hm[b,e,b]}, Rp[a,b]Rp[d,c]Rp[c,e]] // ColumnForm

ComposeList[{tm[a,f,a],  hm[b,e,b],hta[c,c]}, Rp[c,b]Rp[a,c]Rp[f,e]] // ColumnForm